[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 23 308 0 39 0 0 24

N.S.

1 1.00 0.96 12.83 0.00 1.62 0.00 0.00 1.00

time (sec)

N/A 0.017 0.053 3.863 0.000 2.563 0.000 0.000 0.308

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 43 194 0 74 0 0 103

N.S.

1 1.00 0.81 3.66 0.00 1.40 0.00 0.00 1.94

time (sec)

N/A 0.046 0.119 7.459 0.000 3.757 0.000 0.000 2.962

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 52 481 0 103 0 0 136

N.S.

1 1.00 0.66 6.09 0.00 1.30 0.00 0.00 1.72

time (sec)

N/A 0.068 0.138 31.787 0.000 3.414 0.000 0.000 3.362

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 67 222 0 118 0 0 350

N.S.

1 1.00 0.64 2.11 0.00 1.12 0.00 0.00 3.33

time (sec)

N/A 0.085 0.152 143.652 0.000 2.727 0.000 0.000 4.130

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 66 204 0 0 0 0 -1

N.S.

1 1.00 0.62 1.92 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.052 0.334 20.416 0.000 0.000 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 76 139 0 0 0 0 -1

N.S.

1 1.00 0.72 1.31 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.047 0.194 14.146 0.000 0.000 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 34 137 0 0 0 0 -1

N.S.

1 1.00 0.45 1.83 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.037 0.091 10.839 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 73 111 0 0 0 0 -1

N.S.

1 1.00 1.04 1.59 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.037 0.929 7.872 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 37 176 0 0 0 0 -1

N.S.

1 1.00 0.84 4.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.028 0.140 10.641 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 82 0 0 101 0 0 -1

N.S.

1 1.00 1.71 0.00 0.00 2.10 0.00 0.00 -0.02

time (sec)

N/A 0.029 1.031 180.000 0.000 1.222 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 64 227 0 0 0 0 -1

N.S.

1 1.00 0.83 2.95 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.037 0.612 42.560 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 66 154 0 177 0 0 -1

N.S.

1 1.00 0.86 2.00 0.00 2.30 0.00 0.00 -0.01

time (sec)

N/A 0.037 0.475 224.974 0.000 0.550 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 85 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.050 0.849 180.000 0.000 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F(-1) F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 86 0 0 233 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 2.20 0.00 0.00 -0.01

time (sec)

N/A 0.044 0.362 180.000 0.000 0.942 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 100 441 0 291 0 0 -1

N.S.

1 1.00 0.53 2.32 0.00 1.53 0.00 0.00 -0.01

time (sec)

N/A 0.144 0.374 286.109 0.000 2.634 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 84 973 0 280 0 0 -1

N.S.

1 1.00 0.51 5.93 0.00 1.71 0.00 0.00 -0.01

time (sec)

N/A 0.122 0.230 129.376 0.000 2.185 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 70 243 0 268 0 0 -1

N.S.

1 1.00 0.55 1.91 0.00 2.11 0.00 0.00 -0.01

time (sec)

N/A 0.095 0.153 33.215 0.000 2.465 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 68 542 0 295 0 0 -1

N.S.

1 1.00 0.65 5.21 0.00 2.84 0.00 0.00 -0.01

time (sec)

N/A 0.075 0.105 83.900 0.000 2.100 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 27 192 0 53 0 0 95

N.S.

1 1.00 0.96 6.86 0.00 1.89 0.00 0.00 3.39

time (sec)

N/A 0.020 0.056 25.585 0.000 2.252 0.000 0.000 1.500

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 35 0 0 76 0 0 93

N.S.

1 1.00 0.64 0.00 0.00 1.38 0.00 0.00 1.69

time (sec)

N/A 0.041 0.100 180.000 0.000 2.869 0.000 0.000 3.162

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 55 222 0 104 0 0 302

N.S.

1 1.00 0.68 2.74 0.00 1.28 0.00 0.00 3.73

time (sec)

N/A 0.071 0.129 172.617 0.000 2.121 0.000 0.000 3.700

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 62 0 0 131 0 0 383

N.S.

1 1.00 0.58 0.00 0.00 1.22 0.00 0.00 3.58

time (sec)

N/A 0.091 0.107 180.000 0.000 2.993 0.000 0.000 4.989

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

84 84 602 0 0 0 0 0 -1

N.S.

1 1.00 7.17 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.057 5.724 0.569 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

84 84 602 0 0 0 0 0 -1

N.S.

1 1.00 7.17 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.053 3.770 0.362 0.000 0.000 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 152 0 0 0 0 0 -1

N.S.

1 1.00 1.85 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.046 0.571 0.104 0.000 0.000 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

72 72 254 0 0 0 0 0 -1

N.S.

1 1.00 3.53 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.047 0.976 0.213 0.000 0.000 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

85 85 938 0 0 0 0 0 -1

N.S.

1 1.00 11.04 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.057 7.920 0.231 0.000 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

85 85 2308 0 0 0 0 0 -1

N.S.

1 1.00 27.15 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.056 18.958 0.244 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 47 111 91 46 270 46 46

N.S.

1 1.00 0.77 1.82 1.49 0.75 4.43 0.75 0.75

time (sec)

N/A 0.044 0.488 0.217 0.286 2.847 33.359 0.409 0.035

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 47 97 80 73 233 80 45

N.S.

1 1.00 0.77 1.59 1.31 1.20 3.82 1.31 0.74

time (sec)

N/A 0.043 0.356 0.320 0.269 3.983 14.949 0.404 0.132

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 37 83 69 36 199 36 36

N.S.

1 1.00 0.80 1.80 1.50 0.78 4.33 0.78 0.78

time (sec)

N/A 0.039 0.296 0.151 0.271 2.631 6.472 0.396 0.146

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 37 69 58 53 162 58 36

N.S.

1 1.00 0.80 1.50 1.26 1.15 3.52 1.26 0.78

time (sec)

N/A 0.037 0.157 0.186 0.270 2.807 2.724 0.398 0.141

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 27 55 47 26 128 26 26

N.S.

1 1.00 0.87 1.77 1.52 0.84 4.13 0.84 0.84

time (sec)

N/A 0.038 0.107 0.113 0.273 2.872 1.075 0.519 0.032

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 27 41 36 33 90 36 26

N.S.

1 1.00 0.87 1.32 1.16 1.06 2.90 1.16 0.84

time (sec)

N/A 0.034 0.077 0.193 0.280 1.960 0.404 0.420 0.028

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 15 27 26 13 53 13 43

N.S.

1 1.00 0.50 0.90 0.87 0.43 1.77 0.43 1.43

time (sec)

N/A 0.008 0.007 0.087 0.268 2.212 0.165 0.402 0.192

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 42 22 84 30 0 28 12

N.S.

1 1.00 3.00 1.57 6.00 2.14 0.00 2.00 0.86

time (sec)

N/A 0.013 0.021 0.142 0.289 2.636 0.000 0.433 0.022

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 29 31 233 50 0 38 26

N.S.

1 1.00 1.04 1.11 8.32 1.79 0.00 1.36 0.93

time (sec)

N/A 0.029 0.026 0.161 0.516 3.341 0.000 0.441 0.024

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 143 53 974 96 0 63 49

N.S.

1 1.00 2.92 1.08 19.88 1.96 0.00 1.29 1.00

time (sec)

N/A 0.039 0.276 0.182 0.292 2.525 0.000 0.534 0.083

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 31 69 1780 130 0 72 61

N.S.

1 1.00 0.47 1.05 26.97 1.97 0.00 1.09 0.92

time (sec)

N/A 0.044 0.027 0.194 0.572 2.052 0.000 0.442 0.098

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 268 89 3846 148 0 85 78

N.S.

1 1.00 3.01 1.00 43.21 1.66 0.00 0.96 0.88

time (sec)

N/A 0.051 0.538 0.237 0.419 2.139 0.000 0.433 0.119

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 68 86 72 36 597 36 35

N.S.

1 1.00 1.55 1.95 1.64 0.82 13.57 0.82 0.80

time (sec)

N/A 0.051 0.443 0.241 0.264 2.685 15.365 0.411 0.175

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 62 75 65 66 434 68 109

N.S.

1 1.00 0.82 0.99 0.86 0.87 5.71 0.89 1.43

time (sec)

N/A 0.054 0.215 0.267 0.279 4.238 6.472 0.406 1.727

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 48 58 50 26 362 26 26

N.S.

1 1.00 1.71 2.07 1.79 0.93 12.93 0.93 0.93

time (sec)

N/A 0.043 0.138 0.142 0.259 3.653 2.720 0.527 0.144

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 40 47 43 47 231 46 43

N.S.

1 1.00 0.82 0.96 0.88 0.96 4.71 0.94 0.88

time (sec)

N/A 0.041 0.111 0.141 0.267 2.016 1.131 0.453 0.313

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 30 26 13 133 13 13

N.S.

1 1.00 1.00 2.00 1.73 0.87 8.87 0.87 0.87

time (sec)

N/A 0.025 0.005 0.141 0.286 2.710 0.428 0.414 0.153

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 22 13 82 14 0 13 14

N.S.

1 1.00 1.57 0.93 5.86 1.00 0.00 0.93 1.00

time (sec)

N/A 0.019 0.022 0.125 0.274 2.823 0.000 0.406 0.157

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 12 53 19 0 13 11

N.S.

1 1.00 1.00 0.92 4.08 1.46 0.00 1.00 0.85

time (sec)

N/A 0.027 0.018 0.149 0.267 2.441 0.000 0.456 0.142

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 34 24 656 65 0 41 36

N.S.

1 1.00 1.13 0.80 21.87 2.17 0.00 1.37 1.20

time (sec)

N/A 0.036 0.058 0.163 0.293 2.753 0.000 0.531 0.178

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 48 51 308 54 0 35 37

N.S.

1 1.00 1.14 1.21 7.33 1.29 0.00 0.83 0.88

time (sec)

N/A 0.047 0.064 0.208 0.284 2.842 0.000 0.441 0.184

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 54 62 3188 138 0 74 82

N.S.

1 1.00 0.90 1.03 53.13 2.30 0.00 1.23 1.37

time (sec)

N/A 0.051 0.386 0.216 0.356 2.470 0.000 0.439 0.144

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 37 97 80 36 447 36 36

N.S.

1 1.00 0.80 2.11 1.74 0.78 9.72 0.78 0.78

time (sec)

N/A 0.046 0.443 0.329 0.275 1.892 33.479 0.415 0.071

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 47 83 69 63 366 69 45

N.S.

1 1.00 0.77 1.36 1.13 1.03 6.00 1.13 0.74

time (sec)

N/A 0.050 0.254 0.289 0.276 1.581 14.965 0.409 0.061

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 27 55 47 26 284 26 26

N.S.

1 1.00 0.87 1.77 1.52 0.84 9.16 0.84 0.84

time (sec)

N/A 0.044 0.155 0.184 0.279 1.913 6.368 0.546 0.152

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 37 55 47 43 202 47 36

N.S.

1 1.00 0.80 1.20 1.02 0.93 4.39 1.02 0.78

time (sec)

N/A 0.046 0.105 0.164 0.288 2.365 2.709 0.456 0.160

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 41 34 13 117 13 13

N.S.

1 1.00 1.00 2.73 2.27 0.87 7.80 0.87 0.87

time (sec)

N/A 0.025 0.008 0.099 0.273 1.740 1.037 0.405 0.142

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 46 29 92 38 0 36 22

N.S.

1 1.00 1.64 1.04 3.29 1.36 0.00 1.29 0.79

time (sec)

N/A 0.026 0.024 0.154 0.272 2.886 0.000 0.418 0.053

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 14 84 13 0 13 13

N.S.

1 1.00 1.00 1.08 6.46 1.00 0.00 1.00 1.00

time (sec)

N/A 0.027 0.015 0.090 0.273 3.099 0.000 0.462 0.023

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 79 39 558 72 0 48 36

N.S.

1 1.00 2.32 1.15 16.41 2.12 0.00 1.41 1.06

time (sec)

N/A 0.030 0.020 0.217 0.293 2.230 0.000 0.549 0.059

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 31 41 834 94 0 52 38

N.S.

1 1.00 0.72 0.95 19.40 2.19 0.00 1.21 0.88

time (sec)

N/A 0.040 0.022 0.194 0.531 2.157 0.000 0.473 0.064

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 195 71 2237 132 0 73 66

N.S.

1 1.00 2.79 1.01 31.96 1.89 0.00 1.04 0.94

time (sec)

N/A 0.053 0.370 0.229 0.332 2.457 0.000 0.451 0.186

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 98 221660564 0 290 0 0 -1

N.S.

1 1.00 0.72 1629857.09 0.00 2.13 0.00 0.00 -0.01

time (sec)

N/A 0.070 0.375 99.630 0.000 2.429 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 86 85899870 0 281 0 0 -1

N.S.

1 1.00 0.78 780907.91 0.00 2.55 0.00 0.00 -0.01

time (sec)

N/A 0.049 0.211 24.427 0.000 3.698 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 70 5537888 0 266 0 0 -1

N.S.

1 1.00 0.83 65927.24 0.00 3.17 0.00 0.00 -0.01

time (sec)

N/A 0.032 0.115 2.474 0.000 2.298 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 52 18450099 0 242 0 0 -1

N.S.

1 1.00 0.90 318105.16 0.00 4.17 0.00 0.00 -0.02

time (sec)

N/A 0.016 0.058 2.801 0.000 1.624 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 23 63401108 0 39 0 2029 24

N.S.

1 1.00 0.96 2641712.83 0.00 1.62 0.00 84.54 1.00

time (sec)

N/A 0.014 0.023 10.362 0.000 1.593 0.000 12.481 0.192

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 43 194 0 74 0 7875 104

N.S.

1 1.00 0.81 3.66 0.00 1.40 0.00 148.58 1.96

time (sec)

N/A 0.027 0.122 17.645 0.000 1.541 0.000 45.071 3.168

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 52 0 0 103 0 18022 136

N.S.

1 1.00 0.66 0.00 0.00 1.30 0.00 228.13 1.72

time (sec)

N/A 0.044 0.143 180.000 0.000 2.252 0.000 155.497 3.233

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 67 0 0 118 0 0 350

N.S.

1 1.00 0.64 0.00 0.00 1.12 0.00 0.00 3.33

time (sec)

N/A 0.064 0.164 180.000 0.000 1.536 0.000 0.000 3.866

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F(-1) F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 96 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.052 0.377 180.000 0.000 0.000 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 66 358108730 0 0 0 0 -1

N.S.

1 1.00 0.96 5189981.59 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.036 0.230 186.905 0.000 0.000 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 76 189673602 0 0 0 0 -1

N.S.

1 1.00 1.10 2748892.78 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.035 0.333 71.639 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 34 26159849 0 0 0 0 -1

N.S.

1 1.00 0.85 653996.22 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.028 0.069 6.631 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 76 66249372 0 0 0 0 -1

N.S.

1 1.00 1.90 1656234.30 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.027 0.999 15.168 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 39 106313389 0 0 0 0 -1

N.S.

1 1.00 0.85 2311160.63 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.029 0.131 17.612 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 82 123 0 101 0 0 -1

N.S.

1 1.00 1.71 2.56 0.00 2.10 0.00 0.00 -0.02

time (sec)

N/A 0.028 1.141 82.682 0.000 0.439 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 64 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.036 0.625 180.000 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F(-1) F B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 99 0 0 291 0 0 -1

N.S.

1 1.00 0.73 0.00 0.00 2.14 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.368 180.000 0.000 1.949 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F(-1) F B F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 84 0 0 280 0 0 -1

N.S.

1 1.00 0.76 0.00 0.00 2.55 0.00 0.00 -0.01

time (sec)

N/A 0.064 0.210 180.000 0.000 2.848 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F(-1) F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 73 0 0 268 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 3.19 0.00 0.00 -0.01

time (sec)

N/A 0.039 0.129 180.000 0.000 3.260 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 70 179323150 0 295 0 0 -1

N.S.

1 1.00 0.85 2186867.68 0.00 3.60 0.00 0.00 -0.01

time (sec)

N/A 0.058 0.107 23.230 0.000 3.663 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 27 192 0 53 0 15292 94

N.S.

1 1.00 0.96 6.86 0.00 1.89 0.00 546.14 3.36

time (sec)

N/A 0.021 0.064 175.777 0.000 2.700 0.000 92.584 1.168

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 35 0 0 76 0 0 93

N.S.

1 1.00 0.64 0.00 0.00 1.38 0.00 0.00 1.69

time (sec)

N/A 0.035 0.112 180.000 0.000 3.164 0.000 0.000 3.075

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 55 0 0 104 0 0 302

N.S.

1 1.00 0.68 0.00 0.00 1.28 0.00 0.00 3.73

time (sec)

N/A 0.053 0.134 180.000 0.000 2.243 0.000 0.000 3.661

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F(-1) F A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 62 0 0 131 0 0 383

N.S.

1 1.00 0.58 0.00 0.00 1.22 0.00 0.00 3.58

time (sec)

N/A 0.068 0.112 180.000 0.000 2.188 0.000 0.000 4.881

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 29 98 0 137 0 0 -1

N.S.

1 1.00 0.94 3.16 0.00 4.42 0.00 0.00 -0.03

time (sec)

N/A 0.010 0.030 0.175 0.000 2.690 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 99 0 137 0 0 -1

N.S.

1 1.00 1.00 3.96 0.00 5.48 0.00 0.00 -0.04

time (sec)

N/A 0.024 0.021 0.145 0.000 2.910 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

85 85 2472 0 0 0 0 0 -1

N.S.

1 1.00 29.08 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.055 13.375 0.177 0.000 0.000 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

85 85 890 0 0 0 0 0 -1

N.S.

1 1.00 10.47 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.054 8.231 0.173 0.000 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 149 0 0 0 0 0 -1

N.S.

1 1.00 1.80 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.045 0.301 0.082 0.000 0.000 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 37 69 58 36 318 36 36

N.S.

1 1.00 0.80 1.50 1.26 0.78 6.91 0.78 0.78

time (sec)

N/A 0.070 0.182 0.217 0.272 2.700 14.954 0.455 0.205

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

293 293 199 0 0 0 0 0 -1

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.594 0.939 0.020 0.000 0.000 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 86 84 916 122 918 84 311

N.S.

1 1.00 0.95 0.92 10.07 1.34 10.09 0.92 3.42

time (sec)

N/A 0.059 0.579 0.211 0.316 2.846 2.359 0.395 1.567

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 69 57 414 71 405 56 98

N.S.

1 1.00 1.11 0.92 6.68 1.15 6.53 0.90 1.58

time (sec)

N/A 0.038 0.749 0.224 0.296 2.164 0.796 0.405 0.736

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 43 40 40 42 153 40 84

N.S.

1 1.00 1.00 0.93 0.93 0.98 3.56 0.93 1.95

time (sec)

N/A 0.030 0.214 0.116 0.268 3.001 0.309 0.403 1.063

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 161 108 31 335 236 111

N.S.

1 1.00 1.00 6.19 4.15 1.19 12.88 9.08 4.27

time (sec)

N/A 0.020 0.173 0.376 0.298 2.846 4.102 0.413 0.869

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 90 347 454 71 3264 349 252

N.S.

1 1.00 2.50 9.64 12.61 1.97 90.67 9.69 7.00

time (sec)

N/A 0.024 0.116 0.617 0.312 2.735 60.428 0.401 5.209

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 35 120 399 47 0 145 -1

N.S.

1 1.00 0.90 3.08 10.23 1.21 0.00 3.72 -0.03

time (sec)

N/A 0.031 0.228 0.948 0.280 2.029 0.000 0.426 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 67 1748 1773 141 0 2221 -1

N.S.

1 1.00 1.00 26.09 26.46 2.10 0.00 33.15 -0.01

time (sec)

N/A 0.034 0.614 1.884 0.353 3.452 0.000 0.441 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 58 321 1076 75 0 301 -1

N.S.

1 1.00 0.97 5.35 17.93 1.25 0.00 5.02 -0.02

time (sec)

N/A 0.033 0.407 2.851 0.318 2.683 0.000 0.421 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 79 6746 3879 197 0 8035 -1

N.S.

1 1.00 0.84 71.77 41.27 2.10 0.00 85.48 -0.01

time (sec)

N/A 0.045 1.228 6.250 0.537 2.906 0.000 0.481 0.000

[next] [prev] [prev-tail] [front] [up]